Nuprl Definition : tree
4,23
postcript
pdf
Tree(
E
) == rec(
T
.tree_con(
E
;
T
))
latex
Definitions
Tree(
E
)
,
tree_con(
E
;
T
)
FDL editor aliases
tree
origin